X9945 = P100

X13226 = P104

A: (342549133 / 30368338, sqrt(68143844781297815) / 30368338)
B: (0, 0)
C: (197 / 13, 0)
a = Segment(B, C)
b = Segment(C, A)
c = Segment(A, B)
AB = Line(A, B)
BC = Line(B, C)
CA = Line(C, A)
incircle = Incircle(A, B, C)
X1 = TriangleCenter(A, B, C, 1)
tA = Barycenter({A, B, C}, {(((4 * a^(2)) * (a + b - c)) * (a - b + c)), (-(((a - b - c) * (a + b - c)^(3)))), (-(((a - b - c) * (a - b + c)^(3))))})
cA = Barycenter({A, B, C}, {((2 * a^(2)) * ((5 * a^(3)) - ((3 * a^(2)) * b) - (a * b^(2)) - b^(3) - ((3 * a^(2)) * c) + (((2 * a) * b) * c) + (b^(2) * c) - (a * c^(2)) + (b * c^(2)) - c^(3))), (-a^(5)) + ((3 * a^(4)) * b) - ((12 * a^(3)) * b^(2)) + ((4 * a^(2)) * b^(3)) + ((5 * a) * b^(4)) + b^(5) + ((3 * a^(4)) * c) - (((2 * a^(3)) * b) * c) + (((2 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) - (b^(4) * c) - ((2 * a^(3)) * c^(2)) - (((4 * a^(2)) * b) * c^(2)) - (((8 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) - ((2 * a^(2)) * c^(3)) + (((2 * a) * b) * c^(3)) + ((2 * b^(2)) * c^(3)) + ((3 * a) * c^(4)) + (b * c^(4)) - c^(5), (-a^(5)) + ((3 * a^(4)) * b) - ((2 * a^(3)) * b^(2)) - ((2 * a^(2)) * b^(3)) + ((3 * a) * b^(4)) - b^(5) + ((3 * a^(4)) * c) - (((2 * a^(3)) * b) * c) - (((4 * a^(2)) * b^(2)) * c) + (((2 * a) * b^(3)) * c) + (b^(4) * c) - ((12 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - (((8 * a) * b^(2)) * c^(2)) + ((2 * b^(3)) * c^(2)) + ((4 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) - ((2 * b^(2)) * c^(3)) + ((5 * a) * c^(4)) - (b * c^(4)) + c^(5)})
d = Circle(cA, tA)
tB = Barycenter({A, B, C}, {(-((((-a) + b - c) * (a + b - c)^(3)))), (((4 * b^(2)) * (a + b - c)) * ((-a) + b + c)), (-((((-a) + b - c) * ((-a) + b + c)^(3))))})
tC = Barycenter({A, B, C}, {(-((((-a) - b + c) * (a - b + c)^(3)))), (-((((-a) - b + c) * ((-a) + b + c)^(3)))), (((4 * c^(2)) * (a - b + c)) * ((-a) + b + c))})
cB = Barycenter({A, B, C}, {a^(5) + ((5 * a^(4)) * b) + ((4 * a^(3)) * b^(2)) - ((12 * a^(2)) * b^(3)) + ((3 * a) * b^(4)) - b^(5) - (a^(4) * c) - (((2 * a^(3)) * b) * c) + (((2 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) + ((3 * b^(4)) * c) - ((2 * a^(3)) * c^(2)) - (((8 * a^(2)) * b) * c^(2)) - (((4 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) + ((2 * a^(2)) * c^(3)) + (((2 * a) * b) * c^(3)) - ((2 * b^(2)) * c^(3)) + (a * c^(4)) + ((3 * b) * c^(4)) - c^(5), ((2 * b^(2)) * ((-a^(3)) - (a^(2) * b) - ((3 * a) * b^(2)) + (5 * b^(3)) + (a^(2) * c) + (((2 * a) * b) * c) - ((3 * b^(2)) * c) + (a * c^(2)) - (b * c^(2)) - c^(3))), (-a^(5)) + ((3 * a^(4)) * b) - ((2 * a^(3)) * b^(2)) - ((2 * a^(2)) * b^(3)) + ((3 * a) * b^(4)) - b^(5) + (a^(4) * c) + (((2 * a^(3)) * b) * c) - (((4 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) + ((3 * b^(4)) * c) + ((2 * a^(3)) * c^(2)) - (((8 * a^(2)) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) - ((12 * b^(3)) * c^(2)) - ((2 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) + ((4 * b^(2)) * c^(3)) - (a * c^(4)) + ((5 * b) * c^(4)) + c^(5)})
cC = Barycenter({A, B, C}, {a^(5) - (a^(4) * b) - ((2 * a^(3)) * b^(2)) + ((2 * a^(2)) * b^(3)) + (a * b^(4)) - b^(5) + ((5 * a^(4)) * c) - (((2 * a^(3)) * b) * c) - (((8 * a^(2)) * b^(2)) * c) + (((2 * a) * b^(3)) * c) + ((3 * b^(4)) * c) + ((4 * a^(3)) * c^(2)) + (((2 * a^(2)) * b) * c^(2)) - (((4 * a) * b^(2)) * c^(2)) - ((2 * b^(3)) * c^(2)) - ((12 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) - ((2 * b^(2)) * c^(3)) + ((3 * a) * c^(4)) + ((3 * b) * c^(4)) - c^(5), (-a^(5)) + (a^(4) * b) + ((2 * a^(3)) * b^(2)) - ((2 * a^(2)) * b^(3)) - (a * b^(4)) + b^(5) + ((3 * a^(4)) * c) + (((2 * a^(3)) * b) * c) - (((8 * a^(2)) * b^(2)) * c) - (((2 * a) * b^(3)) * c) + ((5 * b^(4)) * c) - ((2 * a^(3)) * c^(2)) - (((4 * a^(2)) * b) * c^(2)) + (((2 * a) * b^(2)) * c^(2)) + ((4 * b^(3)) * c^(2)) - ((2 * a^(2)) * c^(3)) - (((2 * a) * b) * c^(3)) - ((12 * b^(2)) * c^(3)) + ((3 * a) * c^(4)) + ((3 * b) * c^(4)) - c^(5), ((2 * c^(2)) * ((-a^(3)) + (a^(2) * b) + (a * b^(2)) - b^(3) - (a^(2) * c) + (((2 * a) * b) * c) - (b^(2) * c) - ((3 * a) * c^(2)) - ((3 * b) * c^(2)) + (5 * c^(3))))})
e = Circle(cB, tB)
f = Circle(cC, tC)
X57 = TriangleCenter(A, B, C, 57)
tA' = Barycenter({A, B, C}, {(-2 * a^(2)), (-a^(2)) + ((2 * a) * b) + b^(2) + ((2 * a) * c) - c^(2), (-a^(2)) + ((2 * a) * b) - b^(2) + ((2 * a) * c) + c^(2)})
tB' = Barycenter({A, B, C}, {a^(2) + ((2 * a) * b) - b^(2) + ((2 * b) * c) - c^(2), (-2 * b^(2)), (-a^(2)) + ((2 * a) * b) - b^(2) + ((2 * b) * c) + c^(2)})
tC' = Barycenter({A, B, C}, {a^(2) - b^(2) + ((2 * a) * c) + ((2 * b) * c) - c^(2), (-a^(2)) + b^(2) + ((2 * a) * c) + ((2 * b) * c) - c^(2), (-2 * c^(2))})
伪外接圆 = Circle(tA', tB', tC')
X3 = TriangleCenter(A, B, C, 3)
X9945 = Barycenter({A, B, C}, {(6 * a^(4)) - ((2 * a^(3)) * b) - ((5 * a^(2)) * b^(2)) + ((2 * a) * b^(3)) - b^(4) - ((2 * a^(3)) * c) + (((2 * a) * b^(2)) * c) - ((5 * a^(2)) * c^(2)) + (((2 * a) * b) * c^(2)) + ((2 * b^(2)) * c^(2)) + ((2 * a) * c^(3)) - c^(4), (-a^(4)) + ((2 * a^(3)) * b) - ((5 * a^(2)) * b^(2)) - ((2 * a) * b^(3)) + (6 * b^(4)) + (((2 * a^(2)) * b) * c) - ((2 * b^(3)) * c) + ((2 * a^(2)) * c^(2)) + (((2 * a) * b) * c^(2)) - ((5 * b^(2)) * c^(2)) + ((2 * b) * c^(3)) - c^(4), (-a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + ((2 * a^(3)) * c) + (((2 * a^(2)) * b) * c) + (((2 * a) * b^(2)) * c) + ((2 * b^(3)) * c) - ((5 * a^(2)) * c^(2)) - ((5 * b^(2)) * c^(2)) - ((2 * a) * c^(3)) - ((2 * b) * c^(3)) + (6 * c^(4))})
X13226 = Barycenter({A, B, C}, {(2 * a^(6)) - ((2 * a^(5)) * b) - ((5 * a^(4)) * b^(2)) + ((6 * a^(3)) * b^(3)) + ((2 * a^(2)) * b^(4)) - ((4 * a) * b^(5)) + b^(6) - ((2 * a^(5)) * c) + (((12 * a^(4)) * b) * c) - (((6 * a^(3)) * b^(2)) * c) - (((10 * a^(2)) * b^(3)) * c) + (((8 * a) * b^(4)) * c) - ((2 * b^(5)) * c) - ((5 * a^(4)) * c^(2)) - (((6 * a^(3)) * b) * c^(2)) + (((16 * a^(2)) * b^(2)) * c^(2)) - (((4 * a) * b^(3)) * c^(2)) - (b^(4) * c^(2)) + ((6 * a^(3)) * c^(3)) - (((10 * a^(2)) * b) * c^(3)) - (((4 * a) * b^(2)) * c^(3)) + ((4 * b^(3)) * c^(3)) + ((2 * a^(2)) * c^(4)) + (((8 * a) * b) * c^(4)) - (b^(2) * c^(4)) - ((4 * a) * c^(5)) - ((2 * b) * c^(5)) + c^(6), a^(6) - ((4 * a^(5)) * b) + ((2 * a^(4)) * b^(2)) + ((6 * a^(3)) * b^(3)) - ((5 * a^(2)) * b^(4)) - ((2 * a) * b^(5)) + (2 * b^(6)) - ((2 * a^(5)) * c) + (((8 * a^(4)) * b) * c) - (((10 * a^(3)) * b^(2)) * c) - (((6 * a^(2)) * b^(3)) * c) + (((12 * a) * b^(4)) * c) - ((2 * b^(5)) * c) - (a^(4) * c^(2)) - (((4 * a^(3)) * b) * c^(2)) + (((16 * a^(2)) * b^(2)) * c^(2)) - (((6 * a) * b^(3)) * c^(2)) - ((5 * b^(4)) * c^(2)) + ((4 * a^(3)) * c^(3)) - (((4 * a^(2)) * b) * c^(3)) - (((10 * a) * b^(2)) * c^(3)) + ((6 * b^(3)) * c^(3)) - (a^(2) * c^(4)) + (((8 * a) * b) * c^(4)) + ((2 * b^(2)) * c^(4)) - ((2 * a) * c^(5)) - ((4 * b) * c^(5)) + c^(6), a^(6) - ((2 * a^(5)) * b) - (a^(4) * b^(2)) + ((4 * a^(3)) * b^(3)) - (a^(2) * b^(4)) - ((2 * a) * b^(5)) + b^(6) - ((4 * a^(5)) * c) + (((8 * a^(4)) * b) * c) - (((4 * a^(3)) * b^(2)) * c) - (((4 * a^(2)) * b^(3)) * c) + (((8 * a) * b^(4)) * c) - ((4 * b^(5)) * c) + ((2 * a^(4)) * c^(2)) - (((10 * a^(3)) * b) * c^(2)) + (((16 * a^(2)) * b^(2)) * c^(2)) - (((10 * a) * b^(3)) * c^(2)) + ((2 * b^(4)) * c^(2)) + ((6 * a^(3)) * c^(3)) - (((6 * a^(2)) * b) * c^(3)) - (((6 * a) * b^(2)) * c^(3)) + ((6 * b^(3)) * c^(3)) - ((5 * a^(2)) * c^(4)) + (((12 * a) * b) * c^(4)) - ((5 * b^(2)) * c^(4)) - ((2 * a) * c^(5)) - ((2 * b) * c^(5)) + (2 * c^(6))})
P74 = Barycenter({A, B, C}, {(a^(2) * ((((a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) + (a^(2) * c^(2)) + (b^(2) * c^(2)) - (2 * c^(4))) * ((a^(2) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + ((2 * b^(2)) * c^(2)) - c^(4))) * (a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) - ((2 * a^(2)) * c^(2)) + (b^(2) * c^(2)) + c^(4))) + (((a^(2) - b^(2) - c^(2)) * ((-2 * a^(4)) + (a^(2) * b^(2)) + b^(4) + (a^(2) * c^(2)) - ((2 * b^(2)) * c^(2)) + c^(4))) * ((b^(2) * (a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) + (a^(2) * c^(2)) + (b^(2) * c^(2)) - (2 * c^(4)))) + (c^(2) * (a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) - ((2 * a^(2)) * c^(2)) + (b^(2) * c^(2)) + c^(4))))))), (b^(2) * ((((a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) + (a^(2) * c^(2)) + (b^(2) * c^(2)) - (2 * c^(4))) * ((-a^(4)) + (a^(2) * b^(2)) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + ((2 * a^(2)) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2)) - c^(4))) * ((-2 * a^(4)) + (a^(2) * b^(2)) + b^(4) + (a^(2) * c^(2)) - ((2 * b^(2)) * c^(2)) + c^(4))) + ((((-a^(2)) + b^(2) - c^(2)) * (a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) - ((2 * a^(2)) * c^(2)) + (b^(2) * c^(2)) + c^(4))) * ((a^(2) * (a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) + (a^(2) * c^(2)) + (b^(2) * c^(2)) - (2 * c^(4)))) + (c^(2) * ((-2 * a^(4)) + (a^(2) * b^(2)) + b^(4) + (a^(2) * c^(2)) - ((2 * b^(2)) * c^(2)) + c^(4))))))), (c^(2) * (((((-a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2))) * ((-2 * a^(4)) + (a^(2) * b^(2)) + b^(4) + (a^(2) * c^(2)) - ((2 * b^(2)) * c^(2)) + c^(4))) * (a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) - ((2 * a^(2)) * c^(2)) + (b^(2) * c^(2)) + c^(4))) + ((((-a^(2)) - b^(2) + c^(2)) * (a^(4) - ((2 * a^(2)) * b^(2)) + b^(4) + (a^(2) * c^(2)) + (b^(2) * c^(2)) - (2 * c^(4)))) * ((b^(2) * ((-2 * a^(4)) + (a^(2) * b^(2)) + b^(4) + (a^(2) * c^(2)) - ((2 * b^(2)) * c^(2)) + c^(4))) + (a^(2) * (a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) - ((2 * a^(2)) * c^(2)) + (b^(2) * c^(2)) + c^(4)))))))})
P99 = Barycenter({A, B, C}, {((a^(2) * (a^(2) - b^(2) - c^(2))) * (b^(2) - c^(2))^(2)) + (((a^(2) - b^(2)) * (a^(2) - c^(2))) * ((a^(2) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + ((2 * b^(2)) * c^(2)) - c^(4))), ((b^(2) * ((-a^(2)) + b^(2) - c^(2))) * ((-a^(2)) + c^(2))^(2)) + ((((-a^(2)) + b^(2)) * (b^(2) - c^(2))) * ((-a^(4)) + (a^(2) * b^(2)) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + ((2 * a^(2)) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2)) - c^(4))), (((a^(2) - b^(2))^(2) * c^(2)) * ((-a^(2)) - b^(2) + c^(2))) + ((((-a^(2)) + c^(2)) * ((-b^(2)) + c^(2))) * ((-a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2))))})
P110 = Barycenter({A, B, C}, {(a^(2) * ((((a^(2) - b^(2)) * (a^(2) - c^(2))) * ((a^(2) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + ((2 * b^(2)) * c^(2)) - c^(4))) - (((a^(2) - b^(2) - c^(2)) * (b^(2) - c^(2))) * ((b^(2) * (a^(2) - b^(2))) - (c^(2) * (a^(2) - c^(2))))))), (b^(2) * (((((-a^(2)) + b^(2)) * (b^(2) - c^(2))) * ((-a^(4)) + (a^(2) * b^(2)) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + ((2 * a^(2)) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2)) - c^(4))) - ((((-a^(2)) + b^(2) - c^(2)) * ((-a^(2)) + c^(2))) * (((-a^(2)) * ((-a^(2)) + b^(2))) + (c^(2) * (b^(2) - c^(2))))))), (c^(2) * (((((-a^(2)) + c^(2)) * ((-b^(2)) + c^(2))) * ((-a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2)))) - (((a^(2) - b^(2)) * ((-a^(2)) - b^(2) + c^(2))) * ((a^(2) * ((-a^(2)) + c^(2))) - (b^(2) * ((-b^(2)) + c^(2)))))))})
g = Segment(tA, tA')
h = Segment(tB, tB')
i = Segment(tC, tC')
P111 = Barycenter({A, B, C}, {(a^(2) * ((((a^(2) + b^(2) - (2 * c^(2))) * (a^(2) - (2 * b^(2)) + c^(2))) * ((a^(2) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + ((2 * b^(2)) * c^(2)) - c^(4))) + (((a^(2) - b^(2) - c^(2)) * ((-2 * a^(2)) + b^(2) + c^(2))) * ((b^(2) * (a^(2) + b^(2) - (2 * c^(2)))) + (c^(2) * (a^(2) - (2 * b^(2)) + c^(2))))))), (b^(2) * ((((a^(2) + b^(2) - (2 * c^(2))) * ((-2 * a^(2)) + b^(2) + c^(2))) * ((-a^(4)) + (a^(2) * b^(2)) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + ((2 * a^(2)) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2)) - c^(4))) + ((((-a^(2)) + b^(2) - c^(2)) * (a^(2) - (2 * b^(2)) + c^(2))) * ((a^(2) * (a^(2) + b^(2) - (2 * c^(2)))) + (c^(2) * ((-2 * a^(2)) + b^(2) + c^(2))))))), (c^(2) * ((((a^(2) - (2 * b^(2)) + c^(2)) * ((-2 * a^(2)) + b^(2) + c^(2))) * ((-a^(4)) + ((2 * a^(2)) * b^(2)) - b^(4) + (((4 * a^(2)) * b) * c) + (((4 * a) * b^(2)) * c) + (a^(2) * c^(2)) + (((4 * a) * b) * c^(2)) + (b^(2) * c^(2)))) + (((a^(2) + b^(2) - (2 * c^(2))) * ((-a^(2)) - b^(2) + c^(2))) * ((a^(2) * (a^(2) - (2 * b^(2)) + c^(2))) + (b^(2) * ((-2 * a^(2)) + b^(2) + c^(2)))))))})